Submitted to Michigan State University in partial fulfillment of the requirements
نویسنده
چکیده
DESIGNING AND IMPLEMENTING A MODEL OF SYNCHRONIZATION CONTRACTS IN OBJECT-ORIENTED LANGUAGES By Karl Reimer Behrends This thesis describes the design and implementation of a synchronization mechanism, called the universe model, that is based on declaratively specified contractual relationships between client and supplier components. These synchronization contracts not only specify basic mutual exclusion and semantic predicates, but also explicit logical composition of those basic contracts by boolean operators, and implicit composition to recombine contracts that have been decomposed in order to modularize them. Such contracts are negotiated implicitly and transparently by a runtime system that observes the abstract state of the program, instead of using explicit procedural synchronization primitives. We present a classification scheme for synchronization contracts, and describe how they can be added to existing object-oriented languages by means of a simple declarative language that expresses these contracts. We also present an implementation of a runtime system that negotiates these synchronization contracts: It draws upon ideas from garbage collection and distributed databases, and adapts them to negotiate synchronization contracts in a fashion that avoids deadlocks and starvation where feasible. While the resulting algorithms are complex, we have implemented them and present empirical validation to show that this implementation is efficient.
منابع مشابه
The effect of oral need on cognitive responses of children
of a Dissertation Submitted in partial fulfillment of the requirementsfor the degree of Doctor of Philosophy BOSTON UNIVERSITY GRADUATE SCHOOL byHaskel Cohen ·AQB., University of Michigan, 1953A.MQ, Boston University, 1954 Department: PsychologyField of Specialization: Clinical PsychologyMajor Instructor; Professor A. William Hire93
متن کاملThesis Submitted in Partial Fulfillment of the requirement for the Degree of M.A/M. Sc In School consultant
Goal: The aim of this study is assess and compare emotional ability of deaf. Semi _ deaf and hearing students (14 _ 20) in Mashhad. Method: To do this experiment out of studies evidence generally 105 students selecting randomly. From each group, choose the number of normal boys and girls 35, deaf boys and girls and semi deaf boys and girls .this article is useful and explanatory .in this stud...
متن کاملProactive Threat Management for Securing Software Systems Abstract of the Thesis Submitted to the University of Delhi in Partial Fulfillment of the Requirements for the Award of the Degree of Doctor of Philosophy
OF THE THESIS SUBMITTED TO THE UNIVERSITY OF DELHI IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE AWARD OF THE DEGREE OF DOCTOR OF PHILOSOPHY
متن کاملComputationally Intelligent Watermarking for Securing Fingerprint Images ABSTRACT OF THE THESIS SUBMITTED TO THE UNIVERSITY OF DELHI IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE AWARD OF THE DEGREE OF DOCTOR OF PHILOSOPHY BY
OF THE THESIS SUBMITTED TO THE UNIVERSITY OF DELHI IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE AWARD OF THE DEGREE OF DOCTOR OF PHILOSOPHY
متن کاملASSESSING PERSONALITY DISORDERS USING THE MMPI-2-RF A thesis submitted to Kent State University in partial fulfillment of the requirements for the degree of Master of Arts
متن کامل
A Generalized Convolution for Finite Fourier Transformations
Presented to the Society, April 16, 1948; received by the editors June 25, 1948. 1 The author wishes to thank Professor R. V. Churchill for his advice in the preparation of this paper. The content of this paper is part of a dissertation submitted in partial fulfillment of the requirements for the degree of doctor of philosophy in the University of Michigan. 2 The numbers in brackets refer to th...
متن کامل